// This is used by test_lookup.py which only tests for the file's existence.